@InProceedings{ Artho04,
	author       = "Cyrille Artho and Klaus Havelund and Armin Biere",
	title        = "Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors",
	booktitle    = "ATVA",
	year         = "2004",
	pages        = "150--164",
	crossref     = "DBLP:conf/atva/2004",
	bibsource    = "DBLP, http://dblp.uni-trier.de",
	ee           = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3299{\&}spage=150",
}

@online{ Parkins2017,
	author       = "Parkins, David",
	booktitle    = "Economist (United Kingdom)",
	issn         = "00130613",
	mendeley     = "I4.0/BigData",
	number       = "9035",
	title        = "{Regulating the internet giants: The world's most valuable resource is no longer oil, but data}",
	url          = "https://www.economist.com/leaders/2017/05/06/the-worlds-most-valuable-resource-is-no-longer-oil-but-data?fbclid=IwAR1EaO3g6OJoDuhrHBNyqQJAqR2NyhvcZ07uexTWa3Hujq0azNMVHKhQido",
	urldate      = "2020-01-21",
	volume       = "413",
	year         = "2017",
}

@Misc{ Artho03,
	author       = "C. Artho and K. Havelund and A. Biere",
	title        = "High-Level Data Races",
	text         = "C. Artho, K. Havelund, and A. Biere. High-Level Data Races. In VVEIS'03, The First International Workshop on Verification and Validation of Enterprise Information Systems, April 2003. Angers, France.",
	year         = "2003",
	url          = "citeseer.ist.psu.edu/artho03highlevel.html",
}

@Article{ Beckman08,
	title        = "Verifying Correct Usage of Atomic Blocks and Typestate",
	author       = "Nels E. Beckman and Kevin Bierhoff and Jonathan Aldrich",
	publisher    = "ACM",
	address      = "New York, NY, USA",
	journal      = "SIGPLAN Not.",
	pages        = "227--244",
	volume       = "43",
	number       = "10",
	year         = "2008",
	issn         = "0362-1340",
	doi          = "http://doi.acm.org/10.1145/1449955.1449783",
}

@InProceedings{ Flanagan04,
	author       = "Cormac Flanagan and Stephen N Freund",
	title        = "Atomizer: a dynamic atomicity checker for multithreaded programs",
	booktitle    = "POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
	year         = "2004",
	isbn         = "1-58113-729-X",
	pages        = "256--267",
	location     = "Venice, Italy",
	doi          = "http://doi.acm.org/10.1145/964001.964023",
	publisher    = "ACM",
	address      = "New York, NY, USA",
}

@Misc{ IBM-Rep,
	title        = "{IBM's Concurrency Testing Repository}",
}

@InProceedings{ Praun03,
	author       = "Christoph {von Praun} and Thomas R. Gross",
	title        = "Static Detection of Atomicity Violations in Object-Oriented Programs",
	booktitle    = "Journal of Object Technology",
	year         = "2003",
	pages        = "2004",
}

@InProceedings{ Shavit95,
	author       = "Nir Shavit and Dan Touitou",
	title        = "Software transactional memory",
	booktitle    = "PODC '95: Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing",
	year         = "1995",
	isbn         = "0-89791-710-3",
	pages        = "204--213",
	location     = "Ottowa, Ontario, Canada",
	doi          = "http://doi.acm.org/10.1145/224964.224987",
	publisher    = "ACM",
	address      = "New York, NY, USA",
}

@BOOK{Silberschatz06,
    author = {Silberschatz, Abraham and Korth, Henry F. and Sudarshan, S.},
    title = {Database System Concepts},
    publisher = {McGraw-Hill},
    year = {2006},
    edition = {Fifth},
    isbn = {007-124476-X},
    doi = {},
}

@BOOK{Moss85,
    author = {Moss, J. Eliot B.},
    title = {Nested transactions: an approach to reliable distributed computing},
    year = {1985},
    isbn = {0-262-13200-1},
    publisher = {Massachusetts Institute of Technology},
    address = {Cambridge, MA, USA},
    doi = {},
}

@Proceedings{ DBLP:conf/atva/2004,
	editor       = "Farn Wang",
	title        = "Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings",
	booktitle    = "ATVA",
	publisher    = "Springer",
	series       = "Lecture Notes in Computer Science",
	volume       = "3299",
	year         = "2004",
	isbn         = "3-540-23610-4",
	bibsource    = "DBLP, http://dblp.uni-trier.de",
}

@InProceedings{ecoop12-dias,
	author       = "Dias, Ricardo J. and Distefano, Dino and Seco, J. C. and Lourenço, João M.",
	booktitle    = "Proceedings of the 26th European conference on Object-oriented programming ({ECOOP}'12)",
	title        = "Verification of Snapshot Isolation in Transactional Memory Java Programs",
	year         = "2012",
	month        = jun,
	publisher    = "Springer-Verlag",
}

@online{wiki:shuntingyard,
    author = "Wikipedia contributors",
    title = "Shunting-yard algorithm --- Wikipedia{,} The Free Encyclopedia",
    year = "2017",
    month = "3",
    url = "https://en.wikipedia.org/w/index.php?title=Shunting-yard_algorithm&oldid=817901155",
    urldate = {2018-03-01},
    keywords  = "Dijkstra,prefix"
}

@online{bison,
    url = {https://www.gnu.org/software/bison/},
    urldate = {2020-07-26},
    keywords = {parser,generator},
    title = {Gnu Bison},
}

@online{flex,
    url = {https://github.com/westes/flex},
    urldate = {2020-07-26},
    keywords = {lexical,analyser},
    title = {Fast Lexical Analyser},
}

